Accurate Proofs